منابع مشابه
SWING: Eine Suchmaschine mit Datenbankanschluß
SWING ist der Anfrageund Suchdienst des Landesinformationssystems MV-Info, das die Internet-Informationsangebote Mecklenburg-Vorpommerns integriert und klassifiziert. SWING umfaßt neben klassischen Suchtechniken auch diverse neue Merkmale wie Konsistenzchecks, Profildienste und insbesondere das Ausnutzen von Strukturen in Informationen, die aus Datenbanken stammen. In diesem Beitrag wird ein Üb...
متن کاملGTU - eine Grammatik Testumgebung mit Testsatzarchiv
GTU ist eine Entwicklungsund Testumgebung für Phrasenstrukturgrammatiken und ID /LP (Immediate Dominance/Linear Precedence) Grammatiken im Rahmen des Unifikationsparadigmas. GTU enthält eine morphologische Komponente, Lexikon und Testsatzarchiv für ausgewählte Probleme des Deutschen, sowie einen speziellen Editor zur Grammatikentwicklung und eine Ausgabe-Routine. In diesem Aufsatz diskutieren w...
متن کاملEine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls
A Generalization of Supervisor Synthesis based on the μ-Calculus The present work deals with the specification and implementation of systems with discrete state spaces. This large class of systems encompasses, for example, information processing systems, which play an important role in modern life. The dynamics of these systems include concurrent processes, and concurrency can give rise to stat...
متن کاملEine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
One of the most promising approaches for handling the increasing complexity of software development projects is the abstraction using modeling for which the UML has been established during the last years. With the UML/P this rather heavyweight and partly redundant family of modeling languages got reduced to essential core notations and optimized according to the requirements of agile, model-dri...
متن کاملSpeicherbedarf für eine Vollversorgung Österreichs mit regenerativem Strom
Kurzfassung: Im vorliegenden Beitrag wird der notwendige, zusätzliche Speicherbedarf (Kapazität und Leistung) ermittelt, der für eine Vollversorgung Österreichs mit Strom aus den regenerativen Quellen Wasserkraft, Windkraft und Photovoltaik notwendig wäre. Es wurde dafür eine mehrstufige Optimierung des Erzeugungsmix implementiert. Die Ergebnisse zeigen, dass die notwendigen Speicher die vorhan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Schweizerische Zeitschrift für Philosophie
سال: 2010
ISSN: 0081-6825
DOI: 10.24894/stph-de.2010.69014